Перевод: с английского на все языки

со всех языков на английский

functional correspondence

См. также в других словарях:

  • Functional illiteracy — refers to the inability of an individual to use reading, writing, and computational skills efficiently in everyday life situations. Illiteracy is the inability to read or write simple sentences in any language.CharacteristicsWhen illiterate, one… …   Wikipedia

  • Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …   Wikipedia

  • Curry-Howard correspondence — The Curry Howard correspondence is the direct relationship between computer programs and mathematical proofs. Also known as Curry Howard isomorphism, proofs as programs correspondence and formulae as types correspondence, it refers to the… …   Wikipedia

  • AdS/CFT correspondence — For the relation of the AdS/CFT correspondence to the general context of string theory, see String theory. The conformal field theory, which may be a gauge theory lies on the conformal boundary of anti deSitter space with quantum gravity. In… …   Wikipedia

  • Minkowski functional — In functional analysis, given a linear space X, a Minkowski functional is a device that uses the linear structure to introduce a topology on X. Contents 1 Motivation 1.1 Example 1 1.2 Example 2 2 …   Wikipedia

  • Renato Caccioppoli — (pronounced|katˈtʃɔpːoli) (20 January, 1904 – 8 May, 1959) was a noted Italian mathematician.BiographyBorn in Naples, Italy, he was the son of Giuseppe Caccioppoli (1852 1947), a noted Neapolitan surgeon, and his second wife Sofia Bakunin (1870… …   Wikipedia

  • projection — 1. A pushing out; an outgrowth or protuberance. 2. The referring of a sensation to the object producing it. 3. A defense mechanism by which a repressed complex in the individual is denied and conceived as belonging to another person, as when… …   Medical dictionary

  • Behavior analysis of child development — Child development in behavior analytic theory has origins in John B. Watson s behaviorism.[1] Watson wrote extensively on child development and conducted research (see Little Albert experiment). Watson was instrumental in the modification of… …   Wikipedia

  • evolution — evolutional, adj. evolutionally, adv. /ev euh looh sheuhn/ or, esp. Brit., /ee veuh /, n. 1. any process of formation or growth; development: the evolution of a language; the evolution of the airplane. 2. a product of such development; something… …   Universalium

  • On the Origin of Species — Origin of Species redirects here. For other uses, see Origin of Species (disambiguation). On the Origin of Species   …   Wikipedia

  • Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»